V02-07 ROBOT-ASSISTED SIMPLE PROSTATECTOMY WITH TUNNEL-SHAPED TRIGONIZATION (RASP-TST) VERSUS STANDARD RASP
نویسندگان
چکیده
منابع مشابه
Strong Equivalence of RASP Programs
RASP is a recent extension of Answer Set Programming that permits declarative specification and reasoning on consumption and production of resources. In this paper, we extend the concept of strong equivalence (which, as widely recognized, provides an important conceptual and practical tool for program simplification, transformation and optimization) from ASP to RASP programs and discuss its use...
متن کاملExtending and Implementing RASP
In previous work we have proposed an extension to ASP (Answer Set Programming), called RASP, standing for ASP with Resources. RASP supports declarative reasoning on production and consumption of (amounts of) resources. The approach combines answer set semantics with quantitative reasoning and relies on an algebraic structure to support computations and comparisons of amounts. The RASP framework...
متن کاملConditional preferences in P-RASP
In this paper, we extend our previous work where we have introduced the possibility of defining and using resources in ASP. In fact, in P-RASP (Resourced ASP with Preferences) one can define resources with their amounts. Available resources can be used for producing other resources, thus consuming either all or just a part of the available amount. The remaining amount, if any, can be used in a ...
متن کاملThe Second Release of the RASP System
We describe the new release of the RASP (robust accurate statistical parsing) system, designed for syntactic annotation of free text. The new version includes a revised and more semantically-motivated output representation, an enhanced grammar and part-of-speech tagger lexicon, and a more flexible and semi-supervised training method for the structural parse ranking model. We evaluate the releas...
متن کاملDALI, RASP, Mnemosine: Computational Logic at Work
In this paper, we briefly describe recent research directions of the Artificial Intelligence group of the University of L'Aquila, Italy. Research activities concern Computational Logic and mainly Intelligent Logical Agents. In fact, in the last years the group has developed the logical agent-oriented language DALI. However, work is under way also in other areas, like, e.g., Non-Monotonic Reason...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Urology
سال: 2019
ISSN: 0022-5347,1527-3792
DOI: 10.1097/01.ju.0000555288.47690.8d